and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
31	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
32	Automated Reliability Classification of Queueing Models for Streaming Computation Jonathan Beard, Cooper Epstein, and Roger Chamberlain Add to Reading List Source URL: icpe2015.ipd.kit.edu Language: English - Date: 2015-02-07 13:27:16 Computer architecture GPGPU Stream processing Stream Supercomputer Hash function Computing Concurrent computing Computer programming
33	Performance Engineering Models of CORBA-based Distributed-Object Systems Connie U. Smith† and Lloyd G. Williams§ † Add to Reading List Source URL: www.spe-ed.com Language: English - Date: 2007-01-19 13:12:10 Inter-process communication Object-oriented programming CORBA Component-based software engineering Distributed computing architecture Object request broker Common Object Request Broker Architecture Distributed object Service-oriented architecture Software engineering Computing Computer programming
34	From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-05-31 00:44:33 Models of computation Programming language implementation Data types Compiler construction Abstract data types Compiler optimization Stream processing Sawzall Increment and decrement operators Software engineering Computing Computer programming
35	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
36	From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel Add to Reading List Source URL: www.inf.usi.ch Language: English - Date: 2013-11-23 22:50:11 Models of computation Programming language implementation Data types Compiler construction Abstract data types Compiler optimization Stream processing Sawzall Increment and decrement operators Software engineering Computing Computer programming
37	Akka Stream and HTTP Experimental Java Documentation Release 1.0-M3 Typesafe Inc Add to Reading List Source URL: doc.akka.io Language: English - Date: 2015-02-06 08:18:57 Computer programming Inter-process communication Models of computation Computer data Stream Twitter Pipeline Computing Concurrent computing Programming paradigms
38	SAT and Hybrid models of the Car Sequencing problem Christian Artigues1,2 , Emmanuel Hebrard1,2 , Valentin Mayer-Eichberger3,4 , Mohamed Siala1,5 , and Toby Walsh3,4 1 CNRS, LAAS, 7 avenue du colonel Roche, FToul Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-14 15:26:57 Computer programming Local consistency Backtracking Constraint learning Propagator Boolean satisfiability problem Constraint programming Theoretical computer science Software engineering
39	Modern Exact and Approximate MAP Algorithms for Graphical models Rina Dechter Bren School of Computer and Information Sciences, UC Irvine We will describe the potential of two known bounding approximation schemes for Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 17:11:23 Algorithm Mathematical logic Linear programming Mathematics Applied mathematics Theoretical computer science
40	Software Component Models: Past, Present and Future Kung-Kiu Lau School of Computer Science The University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-01-30 09:27:34 Design Systems engineering Object-oriented programming Architecture description language Third-party software component 3D modeling Software development Software engineering Component-based software engineering Software architecture

UPDATE